microbicide menthol